Descent in ∗ -autonomous categories

Descent in Monoidal Categories

We consider a symmetric monoidal closed category V = (V ,⊗, I, [−,−]) together with a regular injective object Q such that the functor [−, Q] : V → V op is comonadic and prove that in such a category, as in the monoidal category of abelian groups, a morphism of commutative monoids is an effective descent morphism for modules if and only if it is a pure monomorphism. Examples of this kind of mon...

∗-autonomous Categories in Quantum Theory

So-called ∗-autonomous, or “Frobenius”, category structures occur widely in mathematical quantum theory. This trend was observed in [3], mainly in relation to Hopf algebroids, and continued in [8] with a general account of Frobenius monoids. Below we list some of the ∗-autonomous partially ordered sets A = (A , p, j, S) that appear in the literature, an abstract definition of ∗-autonomous promo...

Nonsymmetric *-Autonomous Categories

Topological ∗-autonomous categories, revisited

Given an additive equational category with a closed symmetric monoidal structure and a potential dualizing object, we find sufficient conditions that the category of topological objects over that category has a good notion of full subcategories of strong and weakly topologized objects and show that each is equivalent to the chu category of the original category with respect to the dualizing obj...

Compactification of *-autonomous categories

We study the question when a ∗-autonomous (Mix-)category has a representation as a ∗-autonomous category of a compact one. We prove that necessary and sufficient condition is that weak distributivity maps are monic (or, equivalently epic). For a Mix-category, this condition is, in turn, equivalent to the requirement that Mix-maps be monic (or epic). We call categories satisfying this property t...